有类型 lambda 演算

typed lambda calculus  detail>>

有类型lambda演算

typed lambda calculus  detail>>

无类型 lambda 演算

lambda calculus  detail>>

无类型lambda演算

lambda calculus  detail>>

简单类型 lambda 演算

simply typed lambda calculus  detail>>

简单类型lambda演算

simply typed lambda calculus  detail>>

lambda 演算

lambda calculus  detail>>

lambda演算

lambda calculus  detail>>

固有类型

own type  detail>>

私有类型

private type  detail>>

所有类型

all types  detail>>

稀有类型

infrequent types  detail>>

有类型名

typeful name  detail>>

除了面的所有类型

all but faces  detail>>

局部或固有类型

local or own type  detail>>

附有类型代码的分时

type-code time-sharing  detail>>

lambda

 n.  1.希腊语第十一个字母〔Λ,λ 与英语字母L相当〕。 2.微升〔百万分之一升〕。 3.λ粒子( ＝ lambda particle)。  detail>>

在类型区段只允许有类或对象类型

class or object types only allowed in type section  detail>>